Amiga Tools 2/Amiga Tools 2.iso/tex/macros/source/contrib/stmaryrd/stmarych.mf

Text File | 1995-03-09 | 8KB | 222 lines

%%% ====================================================================
%%%  @METAFONT-file{
%%%     author-1        = "Jeremy Gibbons",
%%%     author-2        = "Alan Jeffrey",
%%%     version         = "1.1",
%%%     date            = "02 June 1992",
%%%     time            = "15:06:36 BST",
%%%     filename        = "stmarych.mf",
%%%     address-1       = "Department of Computer Science
%%%                        University of Aukland
%%%                        Private Bag
%%%                        Aukland
%%%                        New Zealand",
%%%     address-2       = "School of Cognitive and Computing Sciences
%%%                        University of Sussex
%%%                        Brighton BN1 9QH
%%%                        UK",
%%%     telephone-1     = "[phone] x 5120",
%%%     telephone-2     = "[phone] x 3238",
%%%     FAX-1           = "[phone]",
%%%     FAX-2           = "[phone]",
%%%     checksum        = "17234 221 693 7683",
%%%     email-1         = "[e-mail]",
%%%     email-2         = "[e-mail]",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "metafont symbols math fonts",
%%%     supported       = "yes",
%%%     abstract        = "This is part of the metafont program for
%%%                        the St Mary's Road symbol font.",
%%%     docstring       = "This is part of the metafont program for
%%%                        the St Mary's Road symbol font.  The font
%%%                        contains a number of mathematical
%%%                        characters which are not present in the
%%%                        standard TeX and AMS symbol fonts.
%%%
%%%                        It is described in stmaryrd.tex.
%%%
%%%                        Copyright 1992 Jeremy Gibbons and Alan Jeffrey.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%     package         = "St Mary's Road",
%%%     dependencies    = "none",
%%%  }
%%% ====================================================================
%%%
%%% 20 May 1991, v1.0: Created the file out of which.mf, which performed a
%%% similar job for alans.mf and galileo.mf.
%%%
%%% 21 May 1991, v1.01: Renamed some of the characters to be more AMSy.
%%%
%%% 2 Jun 1992, v1.1: added the headers.

% Defines the character positions and extension information for the St
% Mary's Road font, stmaryrd.mf.

short_left_arrow                := 0;
short_right_arrow               := 1;
short_up_arrow                  := 2;
short_down_arrow                := 3;

Y_up                            := 4;
Y_down                          := 5;
Y_left                          := 6;
Y_right                         := 7;

var_curly_vee                   := 8;
var_curly_wedge                 := 9;

minus_o                         := 10;
bar_o                           := 11;

sslash                          := 12;
bbslash                         := 13;

moo                             := 14;

var_o_times                     := 15;
var_o_ast                       := 16;
var_o_bar                       := 17;
var_o_dot                       := 18;
var_o_slash                     := 19;
var_o_bslash                    := 20;
var_o_circle                    := 21;
var_o_plus                      := 22;
var_o_minus                     := 23;

box_ast                         := 24;
box_bar                         := 25;
box_dot                         := 26;
box_slash                       := 27;
box_bslash                      := 28;
box_circle                      := 29;
box_box                         := 30;
box_empty                       := 31;

lightning                       := 32;
merge                           := 33;
var_times                       := 34;

fat_semi                        := 35;

ssw_arrow                       := 36;
sse_arrow                       := 37;

curly_wedge_up_arrow            := 38;
curly_wedge_down_arrow          := 39;

fat_slash                       := 40;
fat_bslash                      := 41;

l_bag                           := 42;
r_bag                           := 43;

var_big_circ                    := 44;

left_right_arrow_eq             := 45;

curly_vee_down_arrow            := 46;
curly_vee_up_arrow              := 47;

nnw_arrow                       := 48;
nne_arrow                       := 49;

left_slice                      := 50;
right_slice                     := 51;

var_o_less_than                 := 52;
var_o_greater_than              := 53;
var_o_vee                       := 54;
var_o_wedge                     := 55;

tall_oblong                     := 56;
interleave                      := 57;

o_bar                           := 58;
o_bslash                        := 59;
o_less_than                     := 60;
o_greater_than                  := 61;
o_vee                           := 62;
o_wedge                         := 63;

oblong                          := 64;

in_plus                         := 65;
ni_plus                         := 66;
n_plus                          := 67;
sub_set_plus                    := 68;
sup_set_plus                    := 69;
sub_set_plus_eq                 := 70;
sup_set_plus_eq                 := 71;

L_bag                           := 72;
R_bag                           := 73;
ll_bracket                      := 74;
rr_bracket                      := 75;
ll_parenthesis                  := 76;
rr_parenthesis                  := 77;

bin_ampersand                   := 78;
bin_dnasrepma                   := 79;

triangle_left_eq_slant          := 80;
triangle_right_eq_slant         := 81;
n_triangle_left_eq_slant        := 82;
n_triangle_right_eq_slant       := 83;

ll_floor                        := 84;
rr_floor                        := 85;

ll_ceil                         := 86;
rr_ceil                         := 87;

arrow_not                       := 88;
Arrow_not                       := 89;

Maps_to_char                    := 90;
maps_from_char                  := 91;
Maps_from_char                  := 92;

left_right_arrow_triangle       := 93;
left_arrow_triangle             := 94;
right_arrow_triangle            := 95;

big_triangle_down               := 96;
big_triangle_up                 := 97;
big_curly_vee                   := 98;
big_curly_wedge                 := 99;
big_sq_cap                      := 100;
big_box                         := 101;
big_parallel                    := 102;
big_interleave                  := 103;

big_n_plus                      := 112;

big_ll_bracket                  := 113;
big_rr_bracket                  := 121;

charlist big_sq_cap: big_sq_cap+8;
charlist big_box: big_box+8;
charlist big_parallel: big_parallel+8;
charlist big_interleave: big_interleave+8;
charlist big_n_plus: big_n_plus+8;
charlist big_triangle_down: big_triangle_down+8;
charlist big_triangle_up: big_triangle_up+8;
charlist big_curly_vee: big_curly_vee+8;
charlist big_curly_wedge: big_curly_wedge+8;

charlist big_ll_bracket:
   big_ll_bracket+1: big_ll_bracket+2: big_ll_bracket+3: big_ll_bracket+4;
extensible big_ll_bracket+4:
   big_ll_bracket+4,0,big_ll_bracket+5,big_ll_bracket+6;
charlist big_rr_bracket:
   big_rr_bracket+1: big_rr_bracket+2: big_rr_bracket+3: big_rr_bracket+4;
extensible big_rr_bracket+4:
   big_rr_bracket+4,0,big_rr_bracket+5,big_rr_bracket+6;